Ruy J. G. B. de Queiroz: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics

Ruy J. G. B. de Queiroz

Journal:

Year:

2008

Language:

english

File:

PDF, 306 KB

english, 2008

2

[IEEE 2012 International Conference on Software Security and Reliability Companion - Gaithersburg, MD, USA (2012.06.20-2012.06.22)] 2012 IEEE Sixth International Conference on Software Security and Reliability Companion - A Proposal to Prevent Click-Fraud Using Clickable CAPTCHAs

Costa, Rodrigo Alves, de Queiroz, Ruy J.G.B., Cavalcanti, Elmano Ramalho

Year:

2012

Language:

english

File:

PDF, 358 KB

english, 2012

3

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 5514 || Mathematical Logic for Life Science Ontologies

Ono, Hiroakira, Kanazawa, Makoto, de Queiroz, Ruy

Year:

2009

Language:

english

File:

PDF, 198 KB

english, 2009

4

Abstract Data Types and Type Theory: Theories as Types

Ruy J. G. B. de Queiroz, Thomas S. E. Maibaum

Journal:

Mathematical Logic Quarterly

Year:

1991

Language:

english

File:

PDF, 1.16 MB

english, 1991

5

Normalisation and Language-Games

Ruy J. G. B. de Queiroz

Journal:

Year:

1994

Language:

english

File:

PDF, 2.10 MB

english, 1994

6

A Proof-Theoretic Account of Programming and the Role of Reduction Rules

Ruy J. G. B. De Queiroz

Journal:

Year:

1988

Language:

english

File:

PDF, 606 KB

english, 1988

7

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 4576 || Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus

Leivant, Daniel, de Queiroz, Ruy

Year:

2007

Language:

english

File:

PDF, 350 KB

english, 2007

8

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 4576 ||

Leivant, Daniel, de Queiroz, Ruy

Year:

2007

Language:

english

File:

PDF, 6.78 MB

english, 2007

9

[IEEE 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) - Melbourne, Australia (2013.07.16-2013.07.18)] 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications - Toward Coercion-Resistant End-to-End Verifiable Electronic Voting Systems

Santos, Wagner M., de Queiroz, Ruy J.G.B., Saraiva, Carlos E.R., Junior, Gleudson P.V.

Year:

2013

Language:

english

File:

PDF, 757 KB

english, 2013

10

Environmental and Economic Assessment of Fee-Fishing in São Paulo State, Brazil

Kitamura, Paulo Choji, Ferraz de Queiroz, Julio, Lopes, Ruy Bessa, de Castro, Fernando G., Boyd, Claude E.

Journal:

Journal of Applied Aquaculture

Year:

2002

Language:

english

File:

PDF, 614 KB

english, 2002

11

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 9160 || Parametric Polymorphism — Universally

de Paiva, Valeria, de Queiroz, Ruy, Moss, Lawrence S., Leivant, Daniel, de Oliveira, Anjolina G.

Year:

2015

Language:

english

File:

PDF, 333 KB

english, 2015

12

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 9803 || Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction

Väänänen, Jouko, Hirvonen, Åsa, de Queiroz, Ruy

Year:

2016

Language:

english

File:

PDF, 209 KB

english, 2016

13

On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics

Ruy J. G. B. De Queiroz

Journal:

Year:

2008

Language:

english

File:

PDF, 4.00 MB

english, 2008

14

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 10388 || Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs

Kennedy, Juliette, de Queiroz, Ruy J.G.B.

Year:

2017

Language:

english

File:

PDF, 297 KB

english, 2017

15

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 10388 || Computable Quotient Presentations of Models of Arithmetic and Set Theory

Kennedy, Juliette, de Queiroz, Ruy J.G.B.

Year:

2017

Language:

english

File:

PDF, 192 KB

english, 2017

16

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 10388 || On the Reflection Calculus with Partial Conservativity Operators

Kennedy, Juliette, de Queiroz, Ruy J.G.B.

Year:

2017

Language:

english

File:

PDF, 328 KB

english, 2017

17

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 10388 || Global Neighbourhood Completeness of the Gödel-Löb Provability Logic

Kennedy, Juliette, de Queiroz, Ruy J.G.B.

Year:

2017

Language:

english

File:

PDF, 240 KB

english, 2017

18

The Functional Interpretation of the Existential Quantifier

de QUEIROZ, RUY J. G. B., GABBAY, DOV M.

Journal:

Logic Journal of IGPL

Year:

1995

Language:

english

File:

PDF, 5.06 MB

english, 1995

19

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 10388 || Dependent Event Types

Kennedy, Juliette, de Queiroz, Ruy J.G.B.

Year:

2017

Language:

english

File:

PDF, 329 KB

english, 2017

20

Proof theory and computer programming

Ruy J. G. B. de Queiroz, Thomas S. E. Maibaum

Journal:

Mathematical Logic Quarterly

Year:

1990

Language:

english

File:

PDF, 1.23 MB

english, 1990

21

Preface

Ruy de Queiroz, Patrick Cégielski

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 99 KB

english, 2005

22

Preface

Grigori Mints, Ruy de Queiroz

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 129 KB

english, 2006

23

WoLLIC’2002

Ruy de Queiroz, Bruno Poizat, Sergei Artemov

Journal:

Annals of Pure and Applied Logic

Year:

2005

Language:

english

File:

PDF, 91 KB

english, 2005

24

Preface

Ruy de Queiroz, Angus Macintyre, Guilherme Bittencourt

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 93 KB

english, 2006

25

The Functional Interpretation of Direct Computations

Ruy J.G.B. de Queiroz, Anjolina G. de Oliveira

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 269 KB

english, 2011

26

Editors' foreword for JCSS WoLLIC 2008

Wilfrid Hodges, Ruy de Queiroz

Journal:

Journal of Computer and System Sciences

Year:

2010

Language:

english

File:

PDF, 76 KB

english, 2010

27

Logic, Language, Information and Computation

Ruy de Queiroz, Dexter Kozen

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 119 KB

english, 2006

28

Preface

Ruy de Queiroz, Patrick Cégielski

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 132 KB

english, 2006

29

Preface: Volume 67

Ruy de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 63 KB

english, 2002

30

Preface: Volume 84

Ruy de Queiroz, Elaine Pimentel, Lucilia Figueiredo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 64 KB

english, 2003

31

On dividing chains in simple theories

Steffen Lewitzka, Ruy J.G.B. de Queiroz

Journal:

Archive for Mathematical Logic

Year:

2005

Language:

english

File:

PDF, 183 KB

english, 2005

32

Logic, Language, Information and Computation

Ruy de Queiroz, Angus Macintyre

Journal:

Annals of Pure and Applied Logic

Year:

2008

Language:

english

File:

PDF, 112 KB

english, 2008

33

Logic, Language, Information and Computation

Grigori Mints, Valéria de Paiva, Ruy de Queiroz

Journal:

Information and Computation

Year:

2009

Language:

english

File:

PDF, 74 KB

english, 2009

34

Logic, language, information and computation

Daniel Leivant, Ruy de Queiroz

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 65 KB

english, 2010

35

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 5110 || On a Graph Calculus for Algebras of Relations

Hodges, Wilfrid, de Queiroz, Ruy

Year:

2008

Language:

english

File:

PDF, 250 KB

english, 2008

36

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 6188 ||

Dawar, Anuj, de Queiroz, Ruy

Year:

2010

Language:

english

File:

PDF, 2.54 MB

english, 2010

37

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 5110 || On Game Semantics of the Affine and Intuitionistic Logics

Hodges, Wilfrid, de Queiroz, Ruy

Year:

2008

Language:

english

File:

PDF, 222 KB

english, 2008

38

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 6642 ||

Beklemishev, Lev D., de Queiroz, Ruy

Year:

2011

Language:

english

File:

PDF, 3.35 MB

english, 2011

39

Editors' foreword

Beklemishev, Lev, De Queiroz, Ruy, Scedrov, Andre

Journal:

Journal of Computer and System Sciences

Year:

2014

Language:

english

File:

PDF, 109 KB

english, 2014

40

Editorʼs foreword: WoLLIC 2010

Dawar, Anuj, de Queiroz, Ruy

Journal:

Journal of Computer and System Sciences

Year:

2014

Language:

english

File:

PDF, 117 KB

english, 2014

41

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 8071 ||

Libkin, Leonid, Kohlenbach, Ulrich, de Queiroz, Ruy

Year:

2013

Language:

english

File:

PDF, 3.50 MB

english, 2013

42

[IEEE 2013 IEEE Latin America Conference on Cloud Computing and Communications (LatinCloud) - Maceio, Brazil (2013.12.9-2013.12.10)] 2nd IEEE Latin American Conference on Cloud Computing and Communications - Reviewing some clauses of cloud-based Google's Agreements in Brazil

de Castro, Clarice Marinho Martins, de Queiroz, Ruy J. G. B.

Year:

2013

Language:

english

File:

PDF, 218 KB

english, 2013

43

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 8652 ||

Kohlenbach, Ulrich, Barceló, Pablo, de Queiroz, Ruy

Year:

2014

Language:

english

File:

PDF, 3.66 MB

english, 2014

44

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 5514 ||

Ono, Hiroakira, Kanazawa, Makoto, de Queiroz, Ruy

Year:

2009

Language:

english

File:

PDF, 7.27 MB

english, 2009

45

[Lecture Notes in Computer Science] Logic, Language, Information and Computation Volume 5514 || Completions of Basic Algebras

Ono, Hiroakira, Kanazawa, Makoto, de Queiroz, Ruy

Year:

2009

Language:

english

File:

PDF, 198 KB

english, 2009

46

[IEEE 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) - Melbourne, Australia (2013.07.16-2013.07.18)] 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications - Scheme of User Privacy Protection Applied to Online Marketing

da Silva Oliveira, Maria das Gracas, de Queiroz, Ruy J.G.B.

Year:

2013

Language:

english

File:

PDF, 212 KB

english, 2013

47

[IEEE 2011 IEEE Third Int'l Conference on Privacy, Security, Risk and Trust (PASSAT) / 2011 IEEE Third Int'l Conference on Social Computing (SocialCom) - Boston, MA, USA (2011.10.9-2011.10.11)] 2011 IEEE Third Int'l Conference on Privacy, Security, Risk and Trust and 2011 IEEE Third Int'l Conference on Social Computing - Preserving Vote Secrecy in End-to-End Verifiable Voting Systems

dos Santos, Wagner Medeiros, de Queiroz, Ruy J.G.B.

Year:

2011

Language:

english

File:

PDF, 270 KB

english, 2011

48

[Lecture Notes in Computer Science] Logic, Language, Information, and Computation Volume 8652 || Quantum State Transformations and Branching Distributed Temporal Logic

Kohlenbach, Ulrich, Barceló, Pablo, de Queiroz, Ruy

Year:

2014

Language:

english

File:

PDF, 302 KB

english, 2014

49

THE SONG OF THE SIRENS

Castro, Clarice, de Queiroz, Ruy

Journal:

Information Communication & Society

Year:

2013

Language:

english

File:

PDF, 144 KB

english, 2013

50

10th Workshop on Logic, Language, Information and Computation (WoLLIC '2003): Co-Sponsored by the Association for Symbolic Logic, Ouro Preto (Minas Gerais), Brazil July 29-August 1, 2003

Ruy J. G. B. de Queiroz

Journal:

Bulletin of Symbolic Logic

Year:

2004

Language:

english

File:

PDF, 94 KB

english, 2004

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски